Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
31	The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-03-18 04:19:11 Logic Mathematics Constraint programming Abstraction Model theory Boolean satisfiability problem Electronic design automation Logic in computer science Complexity of constraint satisfaction Constraint satisfaction problem Satisfiability Binary relation
32	Soc Choice Welfare: 413–431 DOI: s00355z The mere addition paradox, parity and critical-level utilitarianism Mozaﬀar Qizilbash Add to Reading List Source URL: www.repugnant-conclusion.com Language: English - Date: 2007-06-24 16:35:53 Mathematics Logic Physics 1 Paradoxes Utilitarianism Mathematical logic Mere addition paradox Binary relation Equivalence relation Transitive relation Utility
33	Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:46 Mathematics Algebra Abstract algebra Algebraic logic Mathematical logic Fuzzy logic Boolean algebra Algebraic structures Residuated lattice Relation algebra Variety Binary relation
34	Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-08 10:06:26 Mathematics Logic Mathematical logic Model theory Relational model Binary relation Structure First-order logic Finitary relation Relation Path ordering Relational algebra
35	UpSet: Visualization of Intersecting Sets Alexander Lex, Nils Gehlenborg, Hendrik Strobelt, Romain Vuillemot, and Hanspeter Pfister Set$Menu Combina2on$Matrix Set$View Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2015-05-26 14:38:24 Mathematics Binary operations Mathematical logic Set theory Visualization Cardinality Entityrelationship model Union Set Intersection Base Interactive visual analysis
36	Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2015-05-01 04:08:35 Algebra Mathematics Abstract algebra Algebraic logic Algebraic structures Boolean algebra Mathematical logic Semigroup theory Relation algebra Monoid Residuated Boolean algebra Heyting algebra
37	Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship Add to Reading List Source URL: www.asis.org Language: English - Date: 2014-07-19 18:54:34 Set theory Z notation Predicate logic Functions and mappings S Equivalence relation Binary relation Finitary relation Zermelo–Fraenkel set theory Mathematical logic Mathematics Logic
38	Proceedings Template - WORD Add to Reading List Source URL: oa.upm.es Language: English Mathematical logic Arity Finitary relation Structure Binary relation Inverse relationship Relation Inverse element Inverse Mathematics Universal algebra Abstract algebra
39	Flow Free – a programming competition http://spivey.oriel.ox.ac.uk/comp2012 This competition is open to all current Oxford undergraduates, with cash prizes of £600 generously provided by Morgan Stanley. The competitio Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2012-11-01 09:42:04 Computing Data differencing Diff Pattern matching Puzzles Numberlink Board puzzles with algebra of binary variables Crossword Mathematics Games Logic puzzles
40	Chisel 2.2 Tutorial Jonathan Bachrach, Krste Asanovi´c, John Wawrzynek EECS Department, UC Berkeley {jrb\|krste\|johnw}@eecs.berkeley.edu July 10, 2015 Add to Reading List Source URL: chisel.eecs.berkeley.edu Language: English - Date: 2015-07-10 18:48:11 Logic in computer science Digital electronics Hardware verification languages E Binary arithmetic 3D computer graphics Bitwise operation Integer ALGOL 68 Computing Theoretical computer science Software engineering